1. A brief history of numbers /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Number theory-- History

رده :
QA241
.
C6945
2015

2. An introduction to Ramsey theory :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.

رده :
QA165
.
K38
2018

3. Between logic and intuition :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Parsons, Charles,1933-.,Parsons, Charles.,Logic, Symbolic and mathematical.,Mathematics-- Philosophy.,08.33 logics and argumentation.,Intuition,Intuition.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logica.,Logik,Mathematics-- Philosophy.,Mathematics-- Philosophy.,Paradoxes.,Set theory.,Wiskundige logica.

رده :
QA9
.
A5
B489
2000

4. Comprendre la mathematique moderne, ses methodes, ses relations avec les mathematiques traditionnelles

پدیدآورنده :

کتابخانه: کتابخانه دانشکده اقتصاد دانشگاه تهران (تهران)

موضوع : Arithmetic-Foundations,Set theory

رده :
QA
248
.
G45

5. Computer Mathematics

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

6. Elementary concepts of modern mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Arithmetic -- Foundations

رده :
QA
248
.
3
.
D56E4

7. Elementary concepts of modern mathematics

پدیدآورنده :

کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)

رده :
QA248
.
3
.
D5
1964

8. Foundations of Logic and Mathematics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Data encryption (Computer science).,Logic, Symbolic and mathematical.,Mathematics.,Number theory.

9. Fundamental concepts of modern mathematics

پدیدآورنده :

موضوع : ، Logic, Symbolic and mathematical,، Arithmetic-- Foundations,، Set theory

۲ نسخه از این کتاب در ۲ کتابخانه موجود است.

10. Fuzzy sets and fuzzy logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Fuzzy logic,Fuzzy sets

رده :
QA248
.
K487
1995

11. How humans learn to think mathematically :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cognition in children.,Cognition.,Knowledge, Theory of.,Mathematics-- Philosophy.,Mathematics-- Psychological aspects.,Mathematics-- Study and teaching.,Thought and thinking.,Cognition in children.,Cognition.,Denken,Formalismus.,Knowledge, Theory of.,Kognition,Kognition.,Matematik-- psykologiska aspekter.,Matematik-- teori, filosofi.,Mathematics-- Philosophy.,Mathematics-- Psychological aspects.,Mathematics-- Study and teaching.,Mathematik.,Mathematikunterricht,Metamatematik.,Symbolische Form,Tänkande.,Thought and thinking.

رده :
QA8
.
4
.
T33
2013

12. Inconsistent Mathematics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.

13. Logic, logic, and logic /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic.

رده :
BC51
.
B58
1998

14. Logical foundations of computer science :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

15. Modern cryptography and elliptic curves :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Cryptography, Textbooks.,Curves, Elliptic, Textbooks.,Geometry, Algebraic, Textbooks.,Algebraic geometry-- Arithmetic problems. Diophantine geometry-- Applications to coding theory and cryptography.,Computer science-- Instructional exposition (textbooks, tutorial papers, etc.),Computer science-- Theory of data-- Data encryption.,Computersicherheit,Cryptography.,Curves, Elliptic.,Elliptische Kurve,Geometry, Algebraic.,Information and communication, circuits-- Communication, information-- Cryptography.,Kryptologie,Number theory-- Arithmetic algebraic geometry (Diophantine geometry)-- Elliptic curves over global fields.,Number theory-- Computational number theory-- Factorization.,Number theory-- Elementary number theory-- Elementary number theory.,Number theory-- Finite fields and commutative rings (number-theoretic aspects)-- Algebraic coding theory; cryptography.,Number theory-- Instructional exposition (textbooks, tutorial papers, etc.),Public-Key-Kryptosystem,Quantencomputer,Quantum theory-- Axiomatics, foundations, philosophy-- Quantum computation.

رده :
QA567
.
2
.
E44
S534
2017

16. Naive set theory

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : ، Aggregates,Foundations ، Arithmetic

رده :
QA
248
.
H26

17. Naive set theory

پدیدآورنده :

کتابخانه: كتابخانه تخصصی لاتين پژوهشگاه علوم و فرهنگ اسلامی (دفتر تبليغات اسلامی حوزه علمیه قم) (قم)

موضوع : ، Set theory,Foundations ، Arithmetic

رده :
QA
248
.
H3N3

18. Naive set theory

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Set theory,، Arithmetic -- Foundations

رده :
QA
248
.
H255N2

19. Naive set theory

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Set theory,، Arithmetic-- Foundations

رده :
QA
248
.
H26

20. Naive set theory

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Set theory,، Arithmetic- Foundations

رده :
QA
248
.
H26